作为NIST标准化过程[NIS17],用于量词后密码学进步,建立有效和安全的量词后签名方案的挑战变得越来越苛刻。尽管基于格子的方案似乎是最有前途的候选人,但他们从代码基于密码学的替代方案最近引起了人们的关注。在许多密码学家的工作中解决了基于代码的签名方案的缺乏效率,并且提出了旨在避免此问题的不同技术。对于其中一些技术,尚不清楚该方案在降低签名大小后是否保持安全,即如果在这种情况下降低安全性仍然存在。在本文中,我们重点介绍了雅克·斯特恩(Jacques Stern)最初提出的标识协议得出的签名方案[Ste94]。其安全性是基于综合征解码问题[BMVT78]和Fiat-Shamir Transform [FS87]的硬度的,这对经典和量子对手进行了很好的分析。以其原始形式的Stern签名方案的主要缺点,与其他基于代码的方案相同,是较大的签名大小(数百千字节的订单)。因此,提出了该方案的不同变体来减轻此问题。例如,其中一些通过降低基础标识协议的每个回合的成本来减少签名大小。某些版本使用剪切和选择技术,甚至修改了基本综合征解码问题([V´er97],[AGS11],[CVE11],[GRSZ14],[BEU20],[BBC + 20],[BGKS22],[BGKS22],[BGKS22],[FJR21],[FJR21],[FJR22])。本文的目的是研究优化Stern的签名方案的几种变体并评估其安全性。我们首先在这里讨论Stern的签名和其他使用Fiat-Shamir Transform的方案中出现的两个功能。
主要关键词